1. Advances in Gabor Analysis
پدیدآورنده: edited by Hans G. Feichtinger, Thomas Strohmer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Engineering.,Global analysis (Mathematics).,Mathematics.
2. An Introduction to Linear and Nonlinear Finite Element Analysis
پدیدآورنده: by Prem K. Kythe, Dongming Wei.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Engineering.,Mathematics.
3. An Introduction to Quantum Computing Algorithms
پدیدآورنده: by Arthur O. Pittenger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Mathematics.,Quantum theory.
4. An idiot's fugitive essays on science :
پدیدآورنده: C. Truesdell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mechanics.,Science-- History.,Science-- Philosophy.,Scientists, Biography.,Mechanics.,Science-- history.,Geschichte,Mechanics.,Mechanik,Naturwissenschaften,Natuurwetenschappen.,Philosophie,Science-- Philosophy.,Science.,Scientists.
رده :
Q126
.
8
.
T78
1984
5. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
6. Completeness and Reduction in Algebraic Complexity Theory
پدیدآورنده: by Peter Bürgisser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Computer science-- Mathematics.,Information theory.,Mathematics.
7. Computational logic and set theory :
پدیدآورنده: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
8. Computer Mathematics
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
9. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
10. Constructive Nonsmooth Analysis and Related Topic
پدیدآورنده: / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Differentiable dynamical systems,Algorithms,Computer science,Mathematical optimization,Mathematics,Optimization,Algorithms,Dynamical Systems and Ergodic Theory,Computational Science and Engineering
رده :
E-BOOK
11. Coping with Complexity :
پدیدآورنده: by Hans W. Gottinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Social sciences -- Methodology.,Social sciences.
12. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
13. Financial Modelin
پدیدآورنده: / by St?شphane Cr?شpey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Differential equations, partial,Finance,Computer science,Electronic books
رده :
E-BOOK
14. Finite and algorithmic model theory
پدیدآورنده: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Finite model theory.,Computer science--Mathematics
رده :
QA
,
9
.
7
,.
F565
,
2011
15. Finite and algorithmic model theory
پدیدآورنده: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
16. Finite and algorithmic model theory
پدیدآورنده: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
17. Finite element analysis /
پدیدآورنده: M. Moatamedi and H. Khawaja.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Finite element method.,Finite element method.,MATHEMATICS-- Numerical Analysis.
رده :
TA347
.
F5
18. Fundamentals of network biology /
پدیدآورنده: WenJun Zhang (Sun Yat-sen University, China).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bioinformatics.,Biometry-- Data processing.,Systems biology-- Methodology.,Bioinformatics.,Biometry-- Data processing.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
Z45
2018
19. Godunov Methods :
پدیدآورنده: edited by E.F. Toro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Mathematics.
رده :
QA911
.
E358
2001
20. Green's Functions and Finite Element
پدیدآورنده: / by Friedel Hartmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer science, Mathematics,Materials,Mechanical engineering,Electronic books
رده :
E-BOOK
